A. Visser, et al., "Uniform interpolation and layered bisimulation"